Ideas from 'Model Theory for Modal Logic I' by Kit Fine [1978], by Theme Structure
green numbers give full details |
back to texts
|
expand this idea
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
|
9560
|
S5 provides the correct logic for necessity in the broadly logical sense
|